Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів
1

Logic programming with functions and predicates: The language Babel

Juan Jose Moreno-Navarro, Mario Rodriguez-Artalejo
Журнал:
The Journal of Logic Programming
Рік:
1992
Мова:
english
Файл:
PDF, 2.04 MB
english, 1992
3

Hoare's logic for nondeterministic regular programs: A nonstandard approach

M.Teresa Hortalá-González, Mario Rodríguez-Artalejo
Журнал:
Theoretical Computer Science
Рік:
1989
Мова:
english
Файл:
PDF, 1.36 MB
english, 1989
4

Qualified Logic Programming with Bivalued Predicates

Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz
Журнал:
Electronic Notes in Theoretical Computer Science
Рік:
2009
Мова:
english
Файл:
PDF, 350 KB
english, 2009
6

Foreword

Giorgio Levi, Mario Rodriguez-Artalejo
Журнал:
Theoretical Computer Science
Рік:
1996
Мова:
english
Файл:
PDF, 101 KB
english, 1996
7

A Declarative Debugging System for Lazy Functional Logic Programs

Rafael Caballero, Mario Rodríguez-Artalejo
Журнал:
Electronic Notes in Theoretical Computer Science
Рік:
2002
Мова:
english
Файл:
PDF, 838 KB
english, 2002
11

[Lecture Notes in Computer Science] Computer Science Logic Volume 1683 ||

Flum, Jörg, Rodriguez-Artalejo, Mario
Рік:
1999
Мова:
english
Файл:
PDF, 27.20 MB
english, 1999
14

A declarative semantics for CLP with qualification and proximity

RODRÍGUEZ-ARTALEJO, MARIO, ROMERO-DÍAZ, CARLOS A.
Журнал:
Theory and Practice of Logic Programming
Рік:
2010
Мова:
english
Файл:
PDF, 197 KB
english, 2010
15

Constraint Logic Programming with Hereditary Harrop formulas

LEACH, JAVIER, NIEVA, SUSANA, RODRÍGUEZ-ARTALEJO, MARIO
Журнал:
Theory and Practice of Logic Programming
Рік:
2001
Мова:
english
Файл:
PDF, 441 KB
english, 2001